Symbolic Mathematics System Evaluators
نویسنده
چکیده
Evaluation of expressions and programs in a computer al gebra system is central to every system but inevitably fails to provide complete satisfaction Here we explain the con icting requirements describe some solutions from current systems and propose alternatives that might be preferable sometimes We give examples primarily from Axiom Mac syma Maple Mathematica with passing mention of a few other systems
منابع مشابه
A mathematical theory of learning
Discussions of the role of mathematics in cognition typically emphasize the application of discrete logic to internal symbolic representations. The traditional assumption is that learning is something like the application of induction to nd patterns or regularities within those representations. In this article the focus is moved back to the world that we cognize. Using results from continuous m...
متن کاملAPPLICATION OF EXP-FUNCTION METHOD TO THE (2+1)-DIMENSIONAL CALOGERO BOGOYAVLANSKII SCHIFF EQUATION
In this paper, the Exp-function method, with the aid of a symbolic computation system such as Maple, is applied to the (2+1) -dimensional Calogero Bogoyavlanskii Schiff equation. Exact and explicit generalized solitary solutions are obtained in more general forms. The free parameters can be determined by initial or boundary conditions. The method is straightforward and concise, and its applicat...
متن کاملSymbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملParsing and Disambiguation of Symbolic Mathematics in the Naproche System
The Naproche system is a system for linguistically analysing and proof-checking mathematical texts written in a controlled natural language. The aim is to have an input language that is as close as possible to the language that mathematicians actually use when writing textbooks or papers. Mathematical texts consist of a combination of natural language and symbolic mathematics, with symbolic mat...
متن کاملKnowledge Representation Interactive System for Symbolic Mathematics
We present schematic architecture for Internet based Knowledge Representation Interactive System which deals with mathematics story problem solving. The aim of this work is to develop an interactive system to accept mathematics story problem, process and give natural language answer. Our system uses propositional semantic network approach in natural language processing system with constraint so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996